acm sigbed
|
emsoft
|
participants
Stefan Jakšić
EMSOFT 2018: 18th International Conference on Embedded Software
An Algebraic Framework for Runtime Verification
Stefan Jakšić
,
Ezio Bartocci
,
Radu Grosu
, and
Dejan Ničković
10.1109/TCAD.2018.2858460
https://arxiv.org/pdf/1802.03775.pdf